Mapping Objects to Prolog Predicates
نویسنده
چکیده
The Logic Programming through Prolog has been widely used for supply persistence in many systems that need store knowledge. Some implementations of Prolog Programming Language used for supply persistence have bidirectional interfaces with other programming languages over all with Object Oriented Programing Languages. In present days is missing tools and frameworks for the systems development that use logic predicate persistence in easy and agile form. More specifically an object oriented and logic persistence provider is need in present days that allow the object manipulation in main memory and the persistence for this objects have a Logic Programming predicates aspect. The present work introduce an object-prolog declarative mappings alternative to support by an object oriented and logic persistence provider. The proposed alternative consists in a correspondence of the Logic Programming predicates with an Object Oriented approach, where for each element of the Logic Programming one Object Oriented element makes to reciprocate. The Object Oriented representation of Logic Programming predicates offers facility of manipulation on the elements that compose a knowledge.
منابع مشابه
PPI - A Portable Prolog Interface for Java
As a first step to combine the two programming paradigms – objectoriented programming and logic programming – we have introduced a generic default mapping for JAVA objects and PROLOG terms. This mapping can be used without any modification to the JAVA classes that stand behind the objects. We also can generate automatically JAVA classes from predicates in PROLOG that map to each other. Apart fr...
متن کاملLanguage interoperability and logic programming languages
We discuss P#, our implementation of a tool which allows interoperation between a concurrent superset of the Prolog programming language and C#. This enables Prolog to be used as a native implementation language for Microsoft’s .NET platform. P# compiles a linear logic extension of Prolog to C# source code. We can thus create C# objects from Prolog and use C#’s graphical, networking and other l...
متن کاملMultidimensional Predicates for Prolog
In 2014, Ungar et al. proposed Korz, a new computational model for structuring adaptive (objectoriented) systems [UOK14]. Korz combines implicit parameters and multiple dispatch to structure the behavior of objects in a multidimensional space. Korz is a simple yet expressive model which does not require special programming techniques such as the Visitor or Strategy pattern to accommodate a syst...
متن کاملJPSG Parser on Constraint Logic Programming
This paper presents a constraint logic programming language cu-Prolog and introduces a simple Japanese parser based on Japanese Phrase Structure Grammar (JPSG) as a suitable application of cu-Prolog. cu-Prolog adopts constraint unification instead of the normal Prolog unification. In cu-Prolog, constraints in terms of user defined predicates can be directly added to the program clauses. Such a ...
متن کاملProlog, Mercury and the termination problem
This paper shortly introduces the two logic programming languages Prolog and Mercury. On this background we introduce the problem of analysing termination of programs. Then we present Mercury’s termination analyser, that the authors of the language incorporated into its compiler. We will also discuss the proposition based on the same method analyser for Prolog’s predicates. 1. Prolog Prolog is ...
متن کامل